Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
501	Microsoft Word - REPIN _2006_9_Indicator Regional Guidelines First Draft-EN. Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 02:06:54 Sustainability Performance measurement International Network for Environmental Compliance and Enforcement Environmental governance Environmental compliance Logic model Water quality Compliance and ethics program Environmental indicator Environment Earth Management
502	Progic 2013: Workshop program Theme: Combining probability and logic to solve philosophical problems Venue: Carl-Friedrich-von-Siemens-Stiftung, Sudliches ¨ Schlossrondell 23, Munich Registration (until July 30) and abs Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-07-30 16:25:13 Reasoning Epistemology Statistical inference Non-classical logic Conditionals Probabilistic logic Counterfactual conditional Inference Inferential Logic Knowledge Science
503	tcc group Inside: strategies to achieve social impact Add to Reading List Source URL: www.tccgrp.com Language: English - Date: 2013-07-14 17:05:00 Methodology Capacity building Logic model Needs assessment William and Flora Hewlett Foundation Program evaluation Empowerment evaluation Evaluation methods Evaluation Sociology
504	UNDERSTANDING AND APPLYING LOGIC MODELS FOR PROGRAM EVALUATION Objectives 1. Add to Reading List Source URL: www.jdcpartnerships.com Language: English - Date: 2014-01-18 13:06:13 Thought Impact assessment Management Program evaluation Logic model Performance measurement Logic Organizational culture Empowerment evaluation Evaluation methods Evaluation Science
505	A Brief Guide to MacLogic Graeme Forbes M acLogic is a program for the Apple Macintosh computer which Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2006-04-20 11:44:47 Mathematical logic Deduction Proof theory User interface techniques Philosophical logic Option key Natural deduction GUI widget Shift key Logic Mathematics Software
506	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-26 04:48:53 Predicate logic Predicate transformer semantics Program logic Logic programming B-tree Predicate FO Symbol Theoretical computer science Logic Mathematical logic
507	Draft Program 03 December[removed]:00:55 PM Institut Multilatéral d’Afrique (IMA) High-Level ADB/JAI/World Bank Seminar Add to Reading List Source URL: www.afdb.org Language: English Multilateral development banks International development Independent Evaluation Group Development Evaluation Logic model World Bank Group Sociology Empowerment evaluation Evaluation methods International economics World Bank
508	Selected Bibliography on Service-Learning, Program Evaluation, and Research Methods John W. Creswell. Research Design: Qualitative, Quantitative and Mixed Methods Approaches. 2nd edition. Thousand Oaks, CA: Sage Publicat Add to Reading List Source URL: depts.washington.edu Language: English - Date: 2008-05-02 17:02:06 Methodology Qualitative research Logic model Michael Quinn Patton Evaluation methods Science Evaluation
509	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
510	OHIO STATE UNIVERSITY EXTENSION COMMUNITY DEVELOPMENT FACT SHEET CDFS-7-14 Add to Reading List Source URL: ohioline.osu.edu Language: English - Date: 2014-10-15 10:59:38 Community development Needs assessment Education Community organizing Community Logic model Asset-based community development Program evaluation Communities That Care Evaluation methods Sociology Evaluation

UPDATE